简体版 English
تسجيل الدخول إنشاء حساب جديد

first-order logic معنى

يبدو
"first-order logic" أمثلة على
الترجمة العربيةجوال إصدار
  • منطق الرتبَة الأولى
أمثلة
  • Second-order logic extends first-order logic by adding the latter type of quantification.
    يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.
  • First-order logic adds quantifiers and predicates, and can express facts about objects, their properties, and their relations with each other.
    المنطق الأولى يسمح أيضا باستخدام الكلمات الدالة على الكمية والخبر، ويمكنه التعبير عن حقائق الأشياء، وخواصهم، وعلاقاتهم مع بعضهم البعض.